Institute of Science and Technology Austria - PDFSEARCH.IO - Document Search Engine

Institute of Science and Technology Austria
Results: 98

#	Item
11	Structure and Computation of Straight Skeletons in 3-Space Franz Aurenhammer and Gernot Walzl Institute for Theoretical Computer Science, Graz University of Technology, Graz, Austria {auren,gernot.walzl}@igi.tugraz.at Add to Reading List Source URL: www.igi.tugraz.at Language: English - Date: 2016-02-13 09:27:27
12	An Output-Sensitive Algorithm for Persistent Homology Chao Chen∗ Michael Kerber Institute of Science and Technology Austria Add to Reading List Source URL: www.research.rutgers.edu Language: English - Date: 2011-03-25 08:11:26
13	Invitation to Courses PROF. KRISHNENDU CHATTERJEE Add to Reading List Source URL: pub.ist.ac.at Language: English - Date: 2010-02-12 03:12:12 Formal methods Logic in computer science Formal verification Model checking Correctness Institute of Science and Technology Austria Distributed algorithm Algorithm Specification Theoretical computer science Applied mathematics Mathematics
14	3rd June:00 p.m. CFEL-bldg. 99, seminar room IV Mikhail Lemeshko Institute of Science and Technology Austria (IST Austria) Add to Reading List Source URL: www.cfel.de Language: English - Date: 2015-06-22 06:21:50
15	International Institute for Applied Systems Analysis Schlossplatz 1 A-2361 Laxenburg, Austria Interim Report Add to Reading List Source URL: cemat.aalto.fi Language: English - Date: 2014-08-26 05:50:39 Science and technology in Ukraine Food systems Export Business Economics Environment Agriculture AGRO Economy of Ukraine
16	‐ 1(13)‐ March 6, 2013 Add to Reading List Source URL: sci.aalto.fi Language: English - Date: 2014-06-12 09:58:22 Institute of Physics Nordic Institute for Theoretical Physics Helsinki Institute of Physics European Science Foundation Institute of Science and Technology Austria Aalto University Paul K. Chu Padma Kant Shukla Physics Europe Science
17	An Efficient Decision Procedure for Imperative Tree Data Structures ? Thomas Wies1 , Marco Mu˜niz2 , and Viktor Kuncak3 1 Institute of Science and Technology (IST), Austria Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2011-05-02 03:09:28 Model theory Predicate logic Formal languages Metalogic First-order logic Interpretation Ground expression Atomic formula Well-formed formula Logic Mathematics Mathematical logic
18	Dr. Ezio Bartocci Curriculum Vitae Personal Information Gender: Add to Reading List Source URL: www.eziobartocci.com Language: English - Date: 2015-04-10 06:06:57 University of Camerino Computer science Institute of Science and Technology Austria Agent-based model Runtime verification Edmund M. Clarke Systems engineering Academia Software development Science Formal methods Logic in computer science
19	PHYSICAL REVIEW B 85, Origin of NMR shielding in fluorides Robert Laskowski and Peter Blaha Institute of Materials Chemistry, Vienna University of Technology, Getreidemarkt 9/165TC, A-1060 Vienna, Austria Add to Reading List Source URL: publik.tuwien.ac.at Language: English - Date: 2012-06-18 02:01:33 Science Spectroscopy Solid-state nuclear magnetic resonance Chemical shift Lead(II) chloride Chemistry Nuclear magnetic resonance Physics
20	Curriculum for the Joint European Master in Environmental StudiesCities & Sustainability (JEMES CiSu) The Faculty of Engineering and Science Aalborg University Add to Reading List Source URL: www.jemes-cisu.eu Language: English - Date: 2013-08-09 08:20:17 Academic degrees Diplom Education in Austria Education in Germany Education in Greece Education in Switzerland European Master Technical University of Hamburg Institute of technology Education Academia Knowledge